1. 9th International Conference on Automated Deduction :
پدیدآورنده: E. Lusk, R. Overbeek (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Automatic theorem proving-- Congresses.,Logic, Symbolic and mathematical-- Congresses.
رده :
QA76
.
9
.
A96
I57
1988
2. 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, proceedings
پدیدآورنده: E. Lusk, R. Overbeek )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
310
